/* test-file.c
 */

#include "syscall.h"

int
main ()
{
  char *filename1 = "foo1.txt";
  char *filename2 = "foo2.txt";
  char *filename3 = "foo3.txt";
  char *filename4 = "cfoo1.txt";
  
  char *content = "Ceci est un test\n";
  char buffer[128];

  OpenFileId fid1;  
  OpenFileId fid2;
  OpenFileId fid3;
  OpenFileId fid4;

  Create(filename1);
  Create(filename2);
  Create(filename3);
  Create(filename4);

  fid1 = Open(filename1);
  fid2 = Open(filename2);
  fid3 = Open(filename3);
  fid4 = Open(filename4);
  
  Write(content,18,fid1);
  Write(content,18,fid2);
  Write(content,18,fid3);
  
  Read(buffer,18,fid2);
  Write(buffer,18,fid4);
  
  Close(fid1);
  Close(fid2);
  Close(fid3);
  Close(fid4);

  /* not reached */
    return 1;
}
/* This is a strange comment */
